University College London

Results: 2535



#Item
171

Probing the Compositionality of Intuitive Functions Eric Schulz University College London

Add to Reading List

Source URL: gershmanlab.webfactional.com

- Date: 2016-11-11 10:44:49
    172

    Embedding Ethical Principles in Collective Decision Support Systems Joshua Greene (Harvard University, USA), Francesca Rossi (University of Padova, Italy and IBM T.J. Watson, USA), John Tasioulas (King’s College London

    Add to Reading List

    Source URL: projects.iq.harvard.edu

    - Date: 2016-09-12 18:52:38
      173

      Products of Experts Geo rey E. Hinton Gatsby Computational Neuroscience Unit University College London 17 Queen Square, London WC1N 3AR, U.K.

      Add to Reading List

      Source URL: www.cs.toronto.edu

      - Date: 2002-01-22 14:39:25
        174

        Generating Natural Language Inference Chains Vladyslav Kolesnyk and Tim Rockt¨ aschel and Sebastian Riedel University College London London, UK

        Add to Reading List

        Source URL: arxiv.org

        - Date: 2016-06-06 20:46:49
          175

          PRINCIPLES AND PRACTICE OF SESSION TYPES Vasco T. Vasconcelos, University of Lisbon! and! Raymond Hu, Imperial College London A tutorial at POPL!

          Add to Reading List

          Source URL: www.doc.ic.ac.uk

          - Date: 2014-01-19 22:47:15
            176

            Fairness for Infinite-State Systems Byron Cook1 , Heidy Khlaaf1 , and Nir Piterman2 1 University College London, London, UK University of Leicester, Leicester, UK

            Add to Reading List

            Source URL: heidyk.com

            - Date: 2015-02-11 08:32:18
              177

              On Automation of CTL* Verification for Infinite-State Systems Byron Cook1 , Heidy Khlaaf1 , and Nir Piterman2 1 University College London

              Add to Reading List

              Source URL: heidyk.com

              - Date: 2015-07-24 14:02:44
                178

                Abstract Data Types in Object-Capability Systems James Noble1 , Sophia Drossopoulou2 , Mark S. Miller3 , Toby Murray4 , Alex Potanin1 1 Victoria University Wellington, 2 Imperial College London, 3 Google Inc, 4 Universit

                Add to Reading List

                Source URL: palez.github.io

                - Date: 2016-07-20 09:34:24
                  179

                  SenticNet 4: A Semantic Resource for Sentiment Analysis Based on Conceptual Primitives Erik Cambria, Soujanya Poria, Rajiv Bajpai Bj¨orn Schuller Nanyang Technological University Imperial College London

                  Add to Reading List

                  Source URL: sentic.net

                    180

                    Speed Optimizations in Bitcoin Key Recovery Attacks Nicolas Courtois Guangyan Song University College London

                    Add to Reading List

                    Source URL: eprint.iacr.org

                    - Date: 2016-05-07 08:45:57
                      UPDATE